____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Poisson-Algebra
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Eine Poisson-Algebra ist in der Mathematik eine kommutative, assoziative Algebra, welche mit einer Poisson-Klammer ausgestattet ist. Die Klammer ist eine Lie-Klammer, welche zusΓ€tzlich die Leibnizregel erfΓΌllt, das heiΓt sie ist eine Derivation der assoziativen Multiplikation.
Contents
β’ Poisson-Algebra
β’ ErlΓ€uterungen
β’ Beispiele
β’ Literatur
β’ Weblinks
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Poisson-Algebra
Sei R {\displaystyle R} ein kommutativer Ring. Eine Poisson-Algebra A {\displaystyle A} ist eine kommutative, assoziative R {\displaystyle R} -Algebra ( A , β
β
) {\displaystyle (A,\cdot )} mit einer R {\displaystyle R} -bilinearen und antisymmetrischen Abbildung
{ β β , β β } : A Γ Γ A β β A {\displaystyle \{-,-\}:A\times A\to A} ,
genannt Poisson-Klammer, so dass
β’ ( A , { β β , β β } ) {\displaystyle (A,\{-,-\})} eine Lie-Algebra ΓΌber R {\displaystyle R} ist,
β’ die Poisson-Klammer die Leibnizregel erfΓΌllt
{ f , g β
β
h } = { f , g } β
β
h + g β
β
{ f , h } {\displaystyle \{f,g\cdot h\}=\{f,g\}\cdot h+g\cdot \{f,h\}} .cite-ref-1[1]
Die Striche in der leeren Poisson-Klammer { β β , β β } {\displaystyle \{-,-\}} stehen dabei fΓΌr einen Platzhalter.
ErlΓ€uterungen
Der R {\displaystyle R} -Modul A {\displaystyle A} ist mit zwei R {\displaystyle R} -bilinearen Abbildungen ausgestattet, der Multiplikation β
β
: : A Γ Γ A β β A {\displaystyle \cdot \colon A\times A\to A} und der Poisson-Klammer { β β , β β } : : A Γ Γ A β β A {\displaystyle \{-,-\}\colon A\times A\to A} .
FΓΌr die Multiplikation β
β
{\displaystyle \cdot } und f , g , h β β A {\displaystyle f,g,h\in A} gilt
KommutativitΓ€t: f β
β
g = g β
β
f {\displaystyle f\cdot g=g\cdot f}
AssoziativitΓ€t: f β
β
( g β
β
h ) = ( f β
β
g ) β
β
h {\displaystyle f\cdot (g\cdot h)=(f\cdot g)\cdot h}
FΓΌr die Poisson-Klammer { β β , β β } {\displaystyle \{-,-\}} und f , g , h β β A {\displaystyle f,g,h\in A} gilt
Antisymmetrie: { f , g } = β β { g , f } {\displaystyle \{f,g\}=-\{g,f\}} und { f , f } = 0 {\displaystyle \{f,f\}=0}
Leibnizregel: { f , g β
β
h } = { f , g } β
β
h + g β
β
{ f , h } {\displaystyle \{f,g\cdot h\}=\{f,g\}\cdot h+g\cdot \{f,h\}}
Jacobi-IdentitΓ€t: { f , { g , h } } = { { f , g } , h } + { g , { f , h } } {\displaystyle \{f,\{g,h\}\}=\{\{f,g\},h\}+\{g,\{f,h\}\}}
FΓΌr ein f β β A {\displaystyle f\in A} ist die Poisson-Klammer D f ( β β ) := { f , β β } {\displaystyle D_{f}(-):=\{f,-\}} eine Derivation der Multiplikation, denn es gilt nach den Regeln
D f ( g β
β
h ) = { f , g β
β
h } = { f , g } β
β
h + g β
β
{ f , h } = D f ( g ) β
β
h + g β
β
D f ( h ) . {\displaystyle D_{f}(g\cdot h)=\{f,g\cdot h\}=\{f,g\}\cdot h+g\cdot \{f,h\}=D_{f}(g)\cdot h+g\cdot D_{f}(h).}
Poisson-*-Algebra
Falls A {\displaystyle A} eine Poisson-Algebra ΓΌber C {\displaystyle \mathbb {C} } ist, die zusΓ€tzlich eine *-Algebra ist und fΓΌr { β β , β β } {\displaystyle \{-,-\}} folgendes
{ f , g } Β― Β― = { f Β― Β― , g Β― Β― } {\displaystyle {\overline {\{f,g\}}}=\{{\overline {f}},{\overline {g}}\}}
erfΓΌllt, so nennt man A {\displaystyle A} eine Poisson-*-Algebra.cite-ref-2[2]
Beispiele
β’ Sei M {\displaystyle M} eine Poisson-Mannigfaltigkeit mit der Poisson-Klammer { β β , β β } {\displaystyle \{-,-\}} auf dem Raum der glatten Funktionen C β β ( M ) {\displaystyle C^{\infty }(M)} , dann ist das Paar ( C β β ( M ) , { β β , β β } ) {\displaystyle (C^{\infty }(M),\{-,-\})} eine Poisson-Algebra.
Literatur
β’ Stefan Waldmann: Poisson-Geometrie und Deformationsquantisierung. Springer Verlag, 2001, ISBN 978-3-540-72517-6.
β’ Chiara Esposito: Formality Theory. Springer Verlag, 2015, ISBN 978-3-319-09289-8.
Weblinks
β’ Poisson-Algebra in der Encyclopedia of Mathematics
Einzelnachweise